> One-line explanation of the branch


# Why? 

> Explain briefly why this request should be accepted. 

# Features and Impact

> Which new new features does this branch add? (e.g. taclets, GUI changes)
 
> Which components should have changed and how?

> What is the impact for using KeY/KeYclipse?

> What is the impact for development process? (e.g. changes in build script)

# Review

> Are there any places that should be reviewed more closely?
> Where there any uncertainties during development?
> What design decisions have been made and how are they implemented?
> ...

# Persons involved

> Name the developers who contributed (by idea or commit) to this branch.

