Thanks for the real numbers. When I was looking the sort of salaries I was being quoted were in the 10000 per month range which is a lot more than what I'm currently on but would actually work out worse once costs are taken into account.
Also I would like to add that my friends who do not speak German are making all making less than 8333 (excluding those at google or a bank).