Rostock is part of Germany