Was verdient ein Offizier bei der Marine?